Binary equality sets are generated by two words
نویسندگان
چکیده
منابع مشابه
Binary equality sets are generated by two words
We show that the equality set Eq(g, h) of two non-periodic binary morphisms g, h : A * → Σ * is generated by at most two words. If the rank of Eq(g, h) = {α, β} * is two, then α and β start (and end) with different letters. This in particular implies that any binary language has a test set of cardinality at most two. A nucleus of the paper was a part of my Ph.D. thesis supervised by Aleš Drápal...
متن کاملA Unique Structure of Two-Generated Binary Equality Sets
Let L be the equality set of two distinct injective morphisms g and h, and let L be generated by at least two words. Recently it was proved ([2]) that such an L is generated by two words and g and h can be chosen marked from both sides. We use this result to show that L is of the form {ab, ba}, with i ≥ 1.
متن کاملLarge Simple Binary Equality Words
Let w be an equality word of two nonperiodic binary morphisms g, h : {a, b}∗ → ∆∗. Suppose that no overflow occurs twice in w and that w contains at least 9 occurrences of a and at least 9 occurrences of b. Then either w = (ab)a, or w = ab with gcd(i, j) = 1, up to the exchange of letters a and b.
متن کاملSimple Words in Equality Sets
It is well known that equality sets between two morphisms possess a remarkable generative capacity: an arbitrary recursively enumerable set is obtained from an equality set by certain simple operations. Interconnections between simplicity of computations and structural primitivity of words in equality sets have also been observed. The paper discusses recent work in this area, pointing out certa...
متن کاملThe equality problem for infinite words generated by primitive morphisms
We study the equality problem for infinite words obtained by iterating morphisms. In particular, we give a practical algorithm to decide whether or not two words generated by primitive morphisms are equal.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 2003
ISSN: 0021-8693
DOI: 10.1016/s0021-8693(02)00534-3